181. Proof technology and computation /
Author: edited by Helmut Schwichtenberg and Katharina Spies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
Classification :
QA76
.
9
.
A96
N38
2003eb


182. Proposing a method based on Machine Learning to detect anomalies in Wireless Sensor networks
Author: Payam Jamal Malak Ali,Jamal Malak Ali,
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Machine Learning, Wireless Sensor Network, Anomalies, Anomaly Detection,یادگیری ماشین، تشخیص ناهنجاری، شبکه های حسگر بی سیم، ناهنجاری ها.

183. Python for Probability, Statistics, and Machine Learning /
Author: by José Unpingco.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data mining.,Engineering mathematics.,Statistics.,Telecommunication.,Probabilities-- Data processing.,Python (Computer program language),Statistics-- Data processing.
Classification :
QA76
.
73
.
P98
U57
2019


184. Quantum computing since Democritus /
Author: Scott Aaronson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Quantum computers,Quantum theory-- Mathematics
Classification :
QC174
.
17
.
M35
A27
2013


185. Realtime Data Minin
Author: / by Alexander Paprotny, Michael Thess
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Computer software,Electronic books
Classification :
E-BOOK

186. Reasoning web :
Author: Claudia d'Amato, Martin Theobald (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
Classification :
TK5105
.
88815


187. Recent developments in data science and business analytics :
Author: Madjid Tavana, Srikanta Patnaik, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision making-- Statistical methods-- Data processing.,Management-- Statistical methods-- Data processing.,Big Data/Analytics.,Business Information Systems.,Operations Research/Decision Theory.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business mathematics & systems.,Operational research.
Classification :
HD30
.
215


188. Robotics and mechatronics :
Author: Richard (Chunhai) Yang, Yukio Takeda, Chunwei Zhang, Gu Fang, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mechatronics, Congresses.,Robotics, Congresses.,Mechatronics.,Robotics.
Classification :
TJ210
.
3
.
I38
2017


189. Scheduling Theory. Single-Stage Systems
Author: by V. S. Tanaev, V. S. Gordon, Y. M. Shafransky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.,Operations research.,Production management.
Classification :
TS157
.
5
B987
1994


190. Self-Timed Control of Concurrent Processes
Author: edited by Victor I. Varshavsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.

191. Semantic technology :
Author: Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
Classification :
QA76
.
5913


192. Semirings, automata, languages
Author: Kuich, Werner
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Machine theory,Semirings Mathematics(,Formola languages
Classification :
QA
267
.
K85
1986


193. Semirings, automata, languages
Author: Kuich, Werner
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Semirings )Mathematics(,، Formal languages
Classification :
QA
267
.
K85
1986


194. Semirings, automata, languages
Author: Werner Kuich, Arto Salomaa
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Semirings )Mathematics(,، Formal languages
Classification :
QA
267
.
K85
1985


195. Sequences, subsequences, and consequences
Author: / Solomon W. Golomb ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Coding theory--Congresses,Sequences (Mathematics)--Congresses,Sequential machine theory--Congresses,Data encryption (Computer science)--Congresses
Classification :
QA
,
268
,.
S68
,
2007


196. Sequences, subsequences, and consequences
Author: / Solomon W. Golomb ... [et al.] (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Coding theory, Congresses,Sequences (Mathematics), Congresses,Sequential machine theory, Congresses,Data encryption (Computer science), Congresses
Classification :
E-BOOK

197. SmartWatch design fundamentals :
Author: Wallace Jackson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Android (Electronic resource),Android (Electronic resource),Smartwatches-- Design.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
TK7870


198. Statistical and inductive inference by minimum message length
Author: / C.S. Wallace
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Minimum message length (Information theory),Mathematical statistics , Methodology,Induction (Mathematics),Electronic books. , local
Classification :
E-BOOK

199. Statistisches und maschinelles Lernen :
Author: Stefan Richter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Maschinelles Lernen,Statistik

200. Studies on speech production :
Author: Qiang Fang, Jianwu Dang, Pascal Perrier, Jianguo Wei, Longbiao Wang, Nan Yan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Speech processing systems, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Natural Language Processing (NLP).,Artificial intelligence.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Computers-- Online Services-- General.,Image processing.,Mathematical theory of computation.,Natural language & machine translation.,Speech processing systems.
Classification :
TK7882
.
S65

